Nuprl Definition : ma-single-effect 0,22
with declarations 
ds:ds
da:da
effect of k(v) is x := f s v
== mk-ma(ds;
== da;
== ;
== ;
== <k,x> : f;
== ;
== ;
== ;
== ;
== ;
== ) 
latex

Definitionsmk-ma, x : v, <a,b>,
FDL editor aliasesma-single-effect

origin